101. برهان گودل و حقيقت وبرهان
پدیدآورنده : نويسندگان: ارنست ناگل , ج نبومن و آلفرد تارسکي,مترجم محمد اردشير,مباحثي در فلسفه رياضي برهان گودل و حقيقت و برهان
موضوع : منطق رياضي رياضيات فلسفه
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
102. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱ - Nagel, Ernest
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴ ۱۳۶۴
103. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱ - م. Nagel, Ernest
کتابخانه: كتابخانه و موزه ملي ملك (طهران)
موضوع : گودل، قضیه,منطق ریاضی
رده :
۵۱۱
/
۳
ن
۲۱۸
ب
/
الفت
۱۳۶۴
104. برهان گودل و حقیقت و برهان
پدیدآورنده : نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی
کتابخانه: مكتبة الشيخ بهائي (خراسان رضوی)
موضوع : گودل، قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲،
ب
۴
105. برهان گودل و حقیقت برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱-
موضوع : ریاضیات -- فلسفه,منطق ریاضی
۶ نسخه از این کتاب در ۶ کتابخانه موجود است.
106. برهان گودل و حقيقت و برهان
پدیدآورنده : /نويسندگان ارنست ناگل ، ج . نيوسن و آلفروتارسکي ,ناگل ، ارنست ، ۱۹۰۱ - ,nagel, ernest
کتابخانه: (خراسان رضوی)
موضوع : گودل ، قضيه,منطق رياضي
رده :
۵۱۱
/
۳
ن
۲۱۸
ب
107. برهان گودل و حقیقت و برهان
پدیدآورنده : / نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی,عنوان اصلی به زبان اصلی: Godel's proof
کتابخانه: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع : برهان قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴
108. بسیط المنطق الحدیث
پدیدآورنده : کواین، ویلارد ون اورمن، ۱۹۰۸ - ۲۰۰۰م.
کتابخانه: كتابخانه مركز پژوهشي دائرة المعارف علوم عقلي اسلامى (قم)
موضوع : منطق ریاضی
109. بسیط المنطق الحدیث
پدیدآورنده : / ویلارد کواین,Elementary logic
کتابخانه: (طهران)
موضوع : منطق ریاضی,منطق ریاضی -- فلسفه
رده :
BC
۱۳۵
/
ک
۹
ب
۵
110. بسیط المنطق الحدیث
پدیدآورنده : ویلارد کواین
کتابخانه: مكتبة الشيخ بهائي (خراسان رضوی)
موضوع : منطق,منطق ریاضی
رده :
BC
۱۰۸
/
ک
۹،
ب
۵۰۴۳۸
111. بسیط المنطق الحدیث
پدیدآورنده : کواین، ویلارد ون اورمن، ۱۹۰۸ - ۲۰۰۰م
کتابخانه: (قم)
موضوع : منطق ریاضی,منطق
رده :
BC
۱۳۵
/
ک
۹
ب
۵
112. بنیا‌دها‌ی منطق نگریک
پدیدآورنده : نوشته‌ی داوید هیلبرت، ویلهلم آکرما‌ن
کتابخانه: (قم)
موضوع : منطق ریاضی
رده :
BC
۱۳۵
/
ه
۹
ب
۹ ۱۳۸۰
113. پاسخنامه سوالهاي چهارگزينه‌اي تاليفي رشته علوم انساني "رياضي آمار، تاريخ، جغرافي، جامعه‌شناسي منطق، فلسفه، روانشناسي"
پدیدآورنده : / پديدآورندگان هيات مولفين
کتابخانه: مكتبة مجتمع الثقافیة الامام الخمینی (ره) (أستان القدس الرضوية ع) (خراسان رضوی)
موضوع : آموزش متوسطه -- آزمونها و تمرينها,علوم انساني -- آزمونها و تمرينها (متوسطه)
رده :
۳۷۳
/
۲۳۸ ۰۷۶
پ
۱۸۳
114. پروژة منطق گرایی در ریاضیات: از بولتزانو تا راسل
پدیدآورنده : غلامحسین مقدم حیدری
کتابخانه: (طهران)
موضوع : این همانی;هم توانی;اصل متعارف بی نهایت;اصل متعارف انتخاب;اصل تحویل پذیری;نظریة انواع;نظریة انشقاق انواع;تعریف غیر اسنادی;منطق گرایی;
115. پژوهش در پيرامون مسئله‌ي تصميم در منطق طرح چند خوارزميک تحليلي ـ معنايي
پدیدآورنده : اديب سلطاني
کتابخانه: كتابخانه امام رضا (ع) "کرمان" (آستان قدس رضوی) (کرمان)
موضوع : منطق رياضي,فلسفه
رده :
۵۱۱
/
۳
الف
۳۴۸
پ
116. پژوهش در پيرامون مسئله‌ي تصميم در منطق طرح چند خوارزميک تحليلي ـ معنايي
پدیدآورنده : اديب سلطاني
کتابخانه: (خراسان رضوی)
موضوع : منطق رياضي,فلسفه
رده :
۵۱۱
/
۳
الف
۳۴۸
پ
117. پژوهش در پيرامون مسئله‌ي تصميم در منطق طرح چند خوارزميک تحليلي ـ معنايي
پدیدآورنده : اديب سلطاني
کتابخانه: كتابخانه هرندى (آستان قدس رضوی) (کرمان)
موضوع : منطق رياضي,فلسفه
رده :
۵۱۱
/
۳
الف
۳۴۸
پ
118. پژوهش در پيرامون مسئله‌ي تصميم در منطق طرح چند خوارزميک تحليلي ـ معنايي
پدیدآورنده : اديب سلطاني
کتابخانه: كتابخانه مركزي آستان قدس رضوي (ع) - تالار جوانان پسر (خراسان رضوی)
موضوع : منطق رياضي,فلسفه
رده :
۵۱۱
/
۳
الف
۳۴۸
پ
119. پژوهش در پيرامون مسئله‌ي تصميم در منطق طرح چند خوارزميک تحليلي ـ معنايي
پدیدآورنده : اديب سلطاني
کتابخانه: مكتبة الامام الرضا (ع) "درگز" (آستان قدس رضوی) (خراسان رضوی)
موضوع : منطق رياضي,فلسفه
رده :
۵۱۱
/
۳
الف
۳۴۸
پ
120. پژوهش در پيرامون مسئله‌ي تصميم در منطق طرح چند خوارزميک تحليلي ـ معنايي
پدیدآورنده : اديب سلطاني
کتابخانه: كتابخانه مروج (آستان قدس رضوی ع) (یزد)
موضوع : منطق رياضي,فلسفه
رده :
۵۱۱
/
۳
الف
۳۴۸
پ
